(ObjC) Check for type errors when using Objective-C generics.